Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
221	Physica D–108 Stability of solitary waves for nonlinear Schrödinger equations with inhomogeneous nonlinearities Gadi Fibich a , Xiao-Ping Wang b,∗ a Add to Reading List Source URL: www.math.ust.hk Language: English - Date: 2003-09-16 09:22:38 Sobolev spaces Linear temporal logic Abstraction Partial differential equations Equations Schrödinger equation
222	Microsoft PowerPoint - Seshia-Induction-Deduction-DATE13 Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-03-18 09:59:28 Electronic design automation Theoretical computer science Applied mathematics Temporal logic Logic in computer science Linear temporal logic Uclid Formal verification Logic synthesis Electronic engineering Problem solving Reasoning
223	Contents Foreword xiii Preface Add to Reading List Source URL: www-i2.informatik.rwth-aachen.de Language: English - Date: 2008-04-04 05:03:58 Temporal logic Model checkers Mathematics Model checking Linear temporal logic Computation tree logic PAT Bisimulation Probabilistic bisimulation Theoretical computer science Logic in computer science Applied mathematics
224	Upper Bounds for Revenue Maximization in a Satellite Scheduling Problem Thierry Benoist1,2 and Benoît Rottembourg 1 1 Bouygues e-lab, 1 av. Eugène Freyssinet,78061 St Quentin en Yvelines Cedex, France (e-mail : {tbenoi Add to Reading List Source URL: tbenoist.pagesperso-orange.fr Language: English - Date: 2008-07-09 00:56:12 Applied mathematics Mathematical notation Summation Linear programming Combinatory logic Mathematics Theoretical computer science Arithmetic
225	Synthesizing and Verifying Plans for Constrained Workflows: Transferring Tools from Formal Methods Jason Crampton Michael Huth Add to Reading List Source URL: icaps11.icaps-conference.org Language: English - Date: 2013-04-15 04:52:48 Management Logic Model theory Linear temporal logic Temporal logic Workflow Satisfiability YAWL Boolean satisfiability problem Mathematical logic Workflow technology Theoretical computer science
226	Modern Exact and Approximate MAP Algorithms for Graphical models Rina Dechter Bren School of Computer and Information Sciences, UC Irvine We will describe the potential of two known bounding approximation schemes for Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2013-01-24 17:11:23 Algorithm Mathematical logic Linear programming Mathematics Applied mathematics Theoretical computer science
227	CCCG 2013, Waterloo, Ontario, August 8–10, 2013 On the Rectangle Escape Problem Sepehr Assadi∗ Ehsan Emamjomeh-Zadeh∗ Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2013-08-11 21:51:59 Operations research Algorithm Mathematical logic Theoretical computer science Bin Rectangle Approximation algorithm Linear programming Integral Mathematics Geometry Applied mathematics
228	Action Planning & General Game Playing for Robots Stefan Edelkamp, Institute for Artificial Intelligence, University of Bremen One of the oldest dreams in the research area of Artificial Intelligence is the design of aut Add to Reading List Source URL: faculty.cua.edu Language: English - Date: 2015-05-26 14:10:44 Reactive planning Robot Motion planning Humanoid robot Model checking Linear temporal logic Planning STRIPS NuSMV Automated planning and scheduling Artificial intelligence Planning Domain Definition Language
229	Query Reasoning on Trees with Types, Interleaving, and Counting Everardo B´arcenas,1 Pierre Genev`es,2 Nabil Laya¨ıda,1 and Alan Schmitt1 1 INRIA, France 2 CNRS, France Add to Reading List Source URL: wam.inrialpes.fr Language: English - Date: 2011-04-14 03:17:50 Formal languages Model theory First-order logic Predicate logic Golden ratio Well-formed formula Binary tree Function Linear temporal logic Logic Mathematics Mathematical logic
230	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:02 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic

UPDATE